arm: rename *_xen_dcache_* operations to *_dcache_*
authorStefano Stabellini <stefano.stabellini@eu.citrix.com>
Thu, 23 Oct 2014 10:03:09 +0000 (12:03 +0200)
committerJan Beulich <jbeulich@suse.com>
Thu, 23 Oct 2014 10:03:09 +0000 (12:03 +0200)
commit2ca94c6bff41be3e8676f28a5383b87d0e46280d
tree92618aa8521923705c4642d4cc57eeb7b73073c8
parent7157012293ec31da5b94d054739a1e07fedde736
arm: rename *_xen_dcache_* operations to *_dcache_*

Given that we are in Xen, it is obvious that these are Xen flushes.
Also the correspondent x86 functions are going to be named without
_xen_, so remove it here for consistency.

Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Reviewed-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/guestcopy.c
xen/arch/arm/kernel.c
xen/arch/arm/mm.c
xen/arch/arm/p2m.c
xen/arch/arm/smpboot.c
xen/include/asm-arm/arm32/page.h
xen/include/asm-arm/arm64/page.h
xen/include/asm-arm/page.h